<script>
    ctx = "${ctxPath!}";
</script>
